Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
441	Checking-up on Branch-and-Check J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toronto Toronto, Ontario M5S 3G8, Canada Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2010-10-21 06:15:10 Computer programming Mathematical optimization Computing Cutting-plane method Constraint programming Operations research Software engineering
442	Datalog with Constraints: A Foundation for Trust Management Languages Ninghui Li and John C. Mitchell Department of Computer Science, Stanford University Gates 4B, Stanford, CA {ninghui.li, jcm}@cs.stanford.ed Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2002-11-05 19:04:46 Computing Constraint satisfaction Constraint logic programming Datalog Relational model Structure Logic programming Constraint Local consistency Constraint programming Software engineering Computer programming
443	Resolution versus Search: Two Strategies for SAT Irina Rish and Rina Dechter Information and Computer Science University of California, Irvine Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2000-11-01 13:42:40 Mathematics Automated theorem proving Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation Conjunctive normal form Unit propagation Resolution Theoretical computer science Constraint programming Applied mathematics
444	Compilation of Planning to SAT Yiqiao Wang 1 Motivation Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2006-03-10 10:57:49 Logic in computer science Boolean algebra Constraint programming Electronic design automation Formal methods Boolean satisfiability problem Solver Satisfiability Davis–Putnam algorithm Theoretical computer science Mathematics Applied mathematics
445	Reconsidering Mixed Integer Programming and MIP-based Hybrids for Scheduling Stefan Heinz1,? and J. Christopher Beck2 1 Zuse Institute Berlin, Takustr. 7, 14195 Berlin, Germany Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2012-03-15 06:47:14 Software engineering Applied mathematics Convex optimization Linear programming Constraint satisfaction Local consistency Cutting-plane method Relaxation Constraint programming Operations research Mathematical optimization
446	Scheduling an Aircraft Repair Shop Maliheh Aramon Bajestani and J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toronto Toronto, Ontario M5S 3G8, Canada {maramon,jcb}@mie.utoronto.ca Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2011-08-10 13:36:18 Constraint programming Job shop scheduling Scheduling Computer programming Business Operations research Mathematical optimization Software engineering
447	A Global Constraint for Total Weighted Completion Time Andr´ as Kov´ acs1,3 and J. Christopher Beck2 1 Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2007-03-26 13:14:36 Applied mathematics Constraint programming Combinatorial optimization Linear programming Local consistency Travelling salesman problem Linear programming relaxation Scheduling Computational complexity theory Operations research Mathematics Mathematical optimization
448	CPM2013A Succinct Grammar Compression Yasuo Tabei1, Yoshimasa Takabatake2, Hiroshi Sakamoto2 Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2013-08-01 04:18:20 Maths24 Constraint programming CDC software COMPASS/Sample Code
449	Backtrack-Free Search for Real-Time Constraint Satisfaction? J. Christopher Beck, Tom Carchrae, Eugene C. Freuder, and Georg Ringwelski Cork Constraint Computation Centre University College Cork, Ireland {c.beck, t.carch Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-01-18 12:07:28 Search algorithms Applied mathematics Mathematics Constraint satisfaction problem Backtracking Local consistency Artificial intelligence Constraint satisfaction Candidate solution Constraint programming Operations research Mathematical optimization
450	RT : A Role-based Trust-management Framework∗ Ninghui Li John C. Mitchell Department of Computer Science, Stanford University Gates 4B, Stanford, CA {ninghui.li, mitchell}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-11-04 15:32:03 Computer security Constraint programming Datalog Cryptography Role-based access control Credential Digital credential Trust negotiation Constraint logic programming Security Identity management Access control

UPDATE